use_module(library(clpfd)).
sister(X,Y) :- parent(X,Z), parent(Y,Z), female(X).
parent(marsha, john).
parent(lucy, john).
female(marsha).
female(lucy).